21. Computability and Decidability :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.

27. Computer Mathematics

Library: Center and Library of Islamic Studies in European Languages (Qom)

31. Elements of logical reasoning /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic, Symbolic and mathematical,Reasoning

Classification :
QA9
.
V66
2013

34. 20090601 ,Includes bibliographical references and index. 0

Author:

Library: Library of Islamic Parliament (Tehran)